From the Debug Research Labs: Debugging Android Hagen Patzke, Software Design Embedded Debugging, Lauterbach GmbH Synopsis Android comes with good support for developing and debugging: High-level (JavaTM) application deb

Source URL: www.lauterbach.com

• Debuggers
• Embedded systems
• Debugging
• IEEE standards
• Virtual machine
• Dalvik
• Joint Test Action Group
• VM
• Breakpoint
• Computing
• Computer programming
• Software

Interaction with Groups of Autonomous Characters Craig Reynolds Research and Development Group Sony Computer Entertainment America 919 East Hillsdale Boulevard Foster City, California 94404

Source URL: www.red3d.com

• Computer animation
• Simulation
• Agent-based model
• Science
• Computing
• Knowledge
• Multi-agent systems
• Artificial life
• Flocking

Instant Monitoring of Food Quality “Applications of spectroscopy from the farm to the fork” Dilusha Silva Microelectronics Research Group, School of Electrical, Electronic and Computer Engineering,

Source URL: www.ioa.uwa.edu.au

• Microelectromechanical systems
• Transducers
• Technology
• Engineering
• Physics
• Microtechnology
• Electrical engineering
• Mechanical engineering

Runtime Verification meets Android Security Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA Software Systems Research Group · 2 The Australian National University

Source URL: www.immerundewig.at

• Computer architecture
• Android software development
• Android
• Mobile operating system
• Malware
• Symbian
• Linear temporal logic
• Motorola Droid
• Smartphones
• Software
• Computing

From propositional to first-order monitoring Andreas Bauer1,2 , Jan-Christoph K¨uster1,2 , and Gil Vegliach1 1 NICTA? Software Systems Research Group, 2 Australian National University

Source URL: www.immerundewig.at

• Temporal logic
• Metalogic
• FO
• Model theory
• Interpretation
• IP
• Theoretical computer science
• Logic
• Linear temporal logic

www.cs.york.ac.uk/postgraduate A typical week in the life of a PhD student in Computer Science at York James Williams, PhD in Enterprise Systems research group Monday:

Source URL: www.cs.york.ac.uk

The Saddest Moment James Mickens James Mickens is a researcher in the Distributed Systems group at Microsoft’s Redmond

Source URL: research.microsoft.com

• Cryptography
• Failure
• Fault tolerance
• Theory of computation
• Byzantine fault tolerance
• Fault-tolerant system
• Communications protocol
• Software bug
• Fault-tolerant design
• Computing
• Fault-tolerant computer systems
• Systems engineering

Sample Paper for Complex Systems First Author University Department, University Name Address City, State ZIP/Zone, Country Second Author

Source URL: www.complex-systems.com

• Wolfram Research
• Mathematical logic
• Theoretical computer science
• Group theory
• Number
• TeX
• Mathematica
• Cellular automaton
• Emmy Noether
• Mathematical software
• Application software
• Mathematics

The Slow Winter James Mickens James Mickens is a researcher in the Distributed Systems group at Microsoft’s Redmond

Source URL: research.microsoft.com

• Computer engineering
• Parallel computing
• Central processing unit
• ARM architecture
• Scalability
• Computing
• Computer architecture
• Instruction set architectures

Dependable self-hosting distributed systems using constraints Qin Yin∗, Justin Cappos†, Andrew Baumann∗, Timothy Roscoe∗ ∗ Systems † Department Group, Department of Computer Science, ETH Zurich

Source URL: people.inf.ethz.ch

• Computer programming
• Operations research
• Programming paradigms
• Mathematical optimization
• Constraint logic programming
• Logic programming
• ECLiPSe
• Linear programming
• PlanetLab
• Constraint programming
• Software engineering
• Declarative programming